David Dale

Results: 153



#Item
11

National Alumni Board Meeting Minutes April 25, 2014 Attendees: Emily Abbas, Ann Anklam, Erica Axiotis, David Beall, Kevin Bell, Steve Berry, Martha Capps, Norah Carroll, Dale Charles, Paul Doucette, Anne Driscoll, Mari

Add to Reading List

Source URL: alumni.drake.edu

Language: English - Date: 2015-01-28 10:44:21
    12

    Focused Inductive Theorem Proving David Baelde1 , Dale Miller2 , and Zachary Snow1 1 Digital Technology Center and Dept of CS, University of Minnesota 2

    Add to Reading List

    Source URL: slimmer.gforge.inria.fr

    Language: English - Date: 2013-01-20 14:08:26
      13

      National Alumni Board Meeting Minutes Jan, 2015 Attendees: Emily Abbas, Erica Axiotis, David Beall, Kevin Bell, Steve Berry, Norah Carroll, Dale Charles, Tim Coonan, Marisa Gift, Drew Gulley, Janelle Holmes, C

      Add to Reading List

      Source URL: alumni.drake.edu

      Language: English - Date: 2015-04-30 16:13:12
        14

        National Alumni Board Meeting Minutes January 31-February 1, 2014 Attendees: Emily Abbas, Joe Aiello, Jonathan Azu, David Beall, Kevin Bell, Steve Berry, Martha Capps, Norah Carroll, Dale Charles, Paul Doucette, Anne

        Add to Reading List

        Source URL: alumni.drake.edu

        Language: English - Date: 2015-01-28 10:44:21
          15

          Issues in Designing a Bitcoin-Like Community Currency David Vandervort, Dale Gaucas, and Robert St Jacques , , PARC, Webster, NY

          Add to Reading List

          Source URL: suddenplasma.weebly.com

          Language: English - Date: 2015-05-30 18:40:59
            16

            National Alumni Board Meeting Minutes October 4-5, 2013 Attendees: Emily Abbas, Ann Anklam, Erica Axiotis, David Beall, Kevin Bell, Steve Berry, Martha Capps, Norah Carroll, Dale Charles, Roxanne Barton Conlin, Paul Do

            Add to Reading List

            Source URL: alumni.drake.edu

            Language: English - Date: 2015-01-28 10:44:21
              17

              USCP Annual Board Meeting Minutes December 9-10, 2014 Present: Craig Shackelford, Kathy Brorman, James Wuerflein, David Fremark, Martin Kerschen, Bill Greving, Carlton Bridgeforth, Dale Murden, John Dvoracek, Florentino

              Add to Reading List

              Source URL: sorghumcheckoff.com

              Language: English - Date: 2015-03-27 11:27:25
                18

                Focused Inductive Theorem Proving David Baelde1 , Dale Miller2 , and Zachary Snow1 1 Digital Technology Center and Dept of CS, University of Minnesota 2

                Add to Reading List

                Source URL: www.lix.polytechnique.fr

                Language: English - Date: 2010-04-19 17:30:34
                  19

                  USCP Board Meeting August 27, 2013 Board members present: Bill Greving, Troy Skarke, Jeff Casten, John Dvoracek, Dale Murden, Stewart Weaver, Adam Baldwin, David Fremark, Bill Kubecka, James Wuerflein and Dale Artho Boar

                  Add to Reading List

                  Source URL: sorghumcheckoff.com

                  Language: English - Date: 2014-02-24 10:51:07
                    20

                    Least and greatest fixed points in linear logic David Baelde and Dale Miller ยด INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org

                    Add to Reading List

                    Source URL: www.lix.polytechnique.fr

                    Language: English - Date: 2007-08-02 03:39:16
                      UPDATE